Nontrivially pseudocomplemented lattices are complemented
نویسندگان
چکیده
منابع مشابه
Balanced D-lattices Are Complemented *
We characterize d-lattices as those bounded lattices in which every maximal filter/ideal is prime, and we show that a d-lattice is complemented iff it is balanced iff all prime filters/ideals are maximal.
متن کاملCongruence lattices of pseudocomplemented semilattices
Congruence lattices of algebras in various varieties have been studied extensively in the literature. For example, congruence lattices (i.e. lattices of ideals) of Boolean algebras were characterized by Nachbin [18] (see also Gratzer [9] and Jonsson [16]) while congruence lattices of semilattices were investigated by Papert [19], Dean and Oehmke [4] and others. In this paper we initiate the inv...
متن کاملFinite pseudocomplemented lattices and 'permutoedre'
We study finite pseudocomplemented lattices and especially those that are also complemented. With regard to the classical results on arbitrary or distributive pseudocomplemented lattices the finiteness property allows to bring significant more precise details on the structural properties of such lattices. These results can especially be applied to the lattices defined by the "weak Bruhat order"...
متن کاملUnification on Subvarieties of Pseudocomplemented Distributive Lattices
Syntactic unification theory is concerned with the problem of finding a substitution that equalises a finite set of pairs of terms simultaneously. More precisely, given a set of function symbols L and a finite set of pairs of L-terms U = {(t1, s1), . . . , (tm, sm)}, called a unification problem, a unifier for U is a substitution σ defined on the set of variables of the terms in U such that σ(t...
متن کاملκ-Complete Uniquely Complemented Lattices
We show that for any infinite cardinal κ , every complete lattice where each element has at most one complement can be regularly embedded into a uniquely complemented κ-complete lattice. This regular embedding preserves all joins and meets, in particular it preserves the bounds of the original lattice. As a corollary, we obtain that every lattice where each element has at most one complement ca...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1979
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1979-0539650-x